Artículo
|
Applying MDA and OMG robotic specification for developing robotic systems:
|
Pons, Claudia Fabiana
|
(2016)
|
|
----------
|
Analítica
|
CCMini: A prototype of certifying compiler based on annotated abstract syntax trees
|
Baum, Gabriel Alfredo
|
EN:
CACIC 2004 [CD-ROM]
/ Congreso Argentino de Ciencias de la Computación (10º : 2004 : La Matanza)
Edición: 1a ed. (2004)
(Libro)
|
|
----------
|
Artículo
|
Clic : plataforma tecnológica de integración de aplicaciones para la construcción de conocimiento colectivo
|
Nomdedeu, Leonardo
|
(2014)
|
|
----------
|
Libro
|
Complejidad de los algoritmos
|
Baum, Gabriel Alfredo
|
Ed. prelim.
(1987)
|
Domicilio
|
----------
|
Tesis
|
Concurrencia tradicional en programación funcional:
|
Mocciola, Pablo Andrés
|
(1998)
|
Sala
|
----------
|
Analítica
|
Construcción y optimización de programas en Fork Álgebras
|
Baum, Gabriel Alfredo
|
EN:
CACIC 97
/ Congreso Argentino de Ciencias de la Computación (3er : 1997 : La Plata)
Edición: (1997)
(Libro)
|
|
----------
|
Tesis
|
Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados:
|
Badenes, Hernán
|
(2003)
|
Sala
|
----------
|
Artículo
|
Dependency relations between models in the unified process :
|
Pons, Claudia Fabiana
|
(2000)
|
|
----------
|
Tesis
|
Diagramática: una formalización para la construcción de lenguajes visuales
|
Repond, Federico C.
|
(2006)
|
Sala
|
----------
|
Artículo
|
Dimensions in the object oriented software development process :
|
Pons, Claudia Fabiana
|
(2002)
|
|
----------
|